<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>seL4 3.0.0 | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/releases/sel4">
              <span property="name"><b>seL4 releases</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">seL4 3.0.0</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="sel4-300-release-notes">seL4 3.0.0 Release Notes</h1>
<p>This release is a minor release that brings
structural improvements to the kernel in preparation for 64bit
architecture support. Although changes do break the API, the breakages
are small (see API Changes and API Removals below) and should not effect
most users.</p>

<h2 id="implementation-improvements">Implementation improvements</h2>

<ul>
  <li>python3 compatability for our python scripts.</li>
  <li>more source code restructuring in preparation for 64-bit ports
      of seL4</li>
  <li>idle thread is run in system mode for all ARM platforms except
      for the KZM11.</li>
  <li>more work to remove duplication between libsel4 and kernel.</li>
</ul>

<h2 id="api-additions">API Additions</h2>

<ul>
  <li><code class="language-plaintext highlighter-rouge">seL4_IRQControl_GetIOAPIC</code> for x86.</li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IRQControl_GetMSI</code> for x86.</li>
</ul>

<h2 id="api-changes">API Changes</h2>

<ul>
  <li>Total number of ASIDs for x86 reduced from 2\^16\^ to 2\^12\^
      (max ASID 2\^12\^).</li>
  <li><code class="language-plaintext highlighter-rouge">seL4_BootInfo</code> struct: <code class="language-plaintext highlighter-rouge">userImagePDs</code> and <code class="language-plaintext highlighter-rouge">userImagePTs</code> combined
      into <code class="language-plaintext highlighter-rouge">userImagePaging</code> in preparation for multilevel paging
      structures for 64 bit kernel support.</li>
  <li>Diminish rights removed from IPC</li>
</ul>

<h2 id="api-removals">API Removals</h2>

<ul>
  <li><code class="language-plaintext highlighter-rouge">seL4_IRQ_SetMode</code> removed (This only effects users who use the
      IOAPIC on x86, which is turned off by default).</li>
</ul>

<h2 id="api-deprecations">API deprecations</h2>

<ul>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageDirectory_Map</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageDirectory_Map</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageDirectory_Unmap</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageDirectory_Unmap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageTable_Map</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageTable_Map</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageTable_Unmap</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageTable_Unmap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTable_Map</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTable_Map</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTable_Unmap</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTable_Unmap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTable_Map</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTable_Map</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTable_Unmap</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTable_Unmap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page_Map</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_Page_Map</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page_Unmap</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_Page_Unmap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page_Remap</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_Page_Remap</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page_MapIO</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_Page_MapIO</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page_GetAddress</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_Page_GetAddress</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_ASIDControl_MakePool</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_ASIDControl_MakePool</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_ASIDPool_Assign</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_ASIDPool_Assign</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_In8</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_In8</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_In16</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_In16</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_In32</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_In32</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_Out8</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_Out8</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_Out16</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_Out16</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort_Out32</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort_Out32</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_4K</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_4K</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_LargePage</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_LargePageObject</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageTableObject</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageTableObject</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageDirectoryObject</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageDirectoryObject</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTableObject</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTableObject</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_ASIDControl</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_ASIDControl</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_ASIDPool</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_ASIDPool</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOSpace</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOSpace</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPort</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPort</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Page</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_Page</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PDPT</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_PDPT</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageDirectory</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_PageDirectory</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_PageTable</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_PageTable</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_IOPageTable</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_IOPageTable</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Default_VMAttributes</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_Default_VMAttributes</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_WriteBack</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_WriteBack</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_WriteThrough</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_WriteThrough</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_CacheDisabled</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_CacheDisabled</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_Uncacheable</code>  deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_Uncacheable</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_WriteCombining</code> deprecated for
      <code class="language-plaintext highlighter-rouge">seL4_X86_WriteCombining</code></li>
  <li><code class="language-plaintext highlighter-rouge">seL4_IA32_VMAttributes</code> deprecated for <code class="language-plaintext highlighter-rouge">seL4_X86_VMAttributes</code></li>
</ul>

<h2 id="upgrade-notes">Upgrade notes</h2>
<p>This change is not source or binary compatible.</p>

<p>Users will need to remove calls to <code class="language-plaintext highlighter-rouge">seL4_IRQ_SetMode</code>, and upgrade any
manual parsing of <code class="language-plaintext highlighter-rouge">seL4_BootInfo</code>.</p>

<h2 id="full-changelog">Full changelog</h2>
<p>Use <code class="language-plaintext highlighter-rouge">git log 2.1.0..3.0.0</code></p>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> seL4 </h2> 
        <li>
          
          <a style="" class="" href="/projects/sel4/">
            Documentation homepage
          </a>
        </li>




        <li>
          
          <a style="" class="" href="/projects/sel4/status.html">
            Status
          </a>
        </li>














    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/seL4/sel4">
            sel4
          </a>
        </li>









<h3>Releases</h3>

    
      <li>
        <a style="" href="/releases/sel4/13.0.0.html">
          seL4 13.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/12.1.0.html">
          seL4 12.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/12.0.0.html">
          seL4 12.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/11.0.0.html">
          seL4 11.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/10.1.1.html">
          seL4 10.1.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/10.1.0.html">
          seL4 10.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/10.0.0.html">
          seL4 10.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/9.0.1.html">
          seL4 9.0.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/9.0.0.html">
          seL4 9.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/8.0.0.html">
          seL4 8.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/7.0.0.html">
          seL4 7.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/6.0.0.html">
          seL4 6.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf">manual</a>)
      </li>

    


    


    
      <li>
        <a style="" href="/releases/sel4/5.2.0.html">
          seL4 5.2.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/5.1.0.html">
          seL4 5.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/5.0.0.html">
          seL4 5.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/4.0.0.html">
          seL4 4.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.2.0.html">
          seL4 3.2.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.1.0.html">
          seL4 3.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/3.0.1.html">
          seL4 3.0.1
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style=" font-weight: bold; " href="/releases/sel4/3.0.0.html">
          seL4 3.0.0
        </a> (<a style=" font-weight: bold; " href="http://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/2.1.0.html">
          seL4 2.1.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf">manual</a>)
      </li>

    


    
      <li>
        <a style="" href="/releases/sel4/2.0.0.html">
          seL4 2.0.0
        </a> (<a style="" href="http://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf">manual</a>)
      </li>

    


    


    










    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_releases/sel4/3.0.0.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_releases/sel4/3.0.0.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
